Formalism in AI and computer science

Reflections on Formalism and Reductionism in Logic and Computer Science

AI, AIBO and ART: Inspiring Interaction with Computer Science

The field of human-robot interaction (HRI) is growing due to the availability of cost effective robots that can be employed for research and in education. Robots, like the Sony Aibo, can capture the imagination of the public. Being a robot dog encourages human interaction, which is relatively intuitive. To better understand human-robot interaction, HRI projects were included into undergraduate ...

Introductory AI for Both Computer Science and Neuroscience Students

Macalester College offers a single undergraduate elective in artificial intelligence. This course is cross-listed between Computer Science and Cognitive and Neuroscience Studies, and includes majors from both disciplines. Computer science students bring strong technical knowledge and skills but little awareness of the deeper issues of cognition and intelligence, while neuroscience students brin...

Towards a Unified AI Formalism

have come to be called BDI architectures [8]. M~t work on BDI architectures hu as its underlying motivation the , . , need to exa.mine the feasibility of modeling practical rea.. ThaI paper p~lentl a unified approach to bul/d.. bo ded t [18 6] '" th t 8 , r I'. h .t t 0 ch I . BOnIng m resource un ~en s , . olo a e,lc.-. Ing .lnte Igent arc I ec U~I. ur approa ~ leI th chit tt t t . teg t ' I ,...

AI Projects for Computer Science Capstone Classes (Extended Abstract)

Capstone senior design projects provide students with a collaborative software design and development experience to reinforce learned material while allowing students latitude in developing real-world applications. Our two-semester capstone classes are required for all computer science majors. Students must have completed a software engineering course — capstone classes are typically taken duri...